Pulmonary vein isolation ablation procedure for atrial fibrillation